$\forall$$A$:es\_realizer\{i:l\}. R{-}self{-}interface($A$) $\Rightarrow$ R{-}interface{-}compat($A$; $A$)